Negation from the perspective of neighborhood semantics
نویسنده
چکیده
This paper explores many important properties of negations using the neighborhood semantics. We generalize the correspondence between the properties of negations and the conditions on the frames and also establish the duality between distributive lattices with negation and descriptive general negation-neighborhood frames.
منابع مشابه
Optimum Location for Backup Land Uses From the Perspective of Passive Defense in Urmia City: A Case Study
This study aim is to find the optimal location form backup land uses from the perspective of passive defense in Urmia City. This is an applied, descriptive, and analytical study. Data collection was done using documentary data, a field study, and a questionnaire. Participants were 10 experts in this subject, who were selected purposefully. Using the analytic network process (ANP), a dynamic and...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملNeighborhood Contingency Logic: A New Perspective
In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in Fan and van Ditmarsch [4], but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that c-bisimulat...
متن کاملContextual hypotheses and semantics of logic programs
Logic programming has developed as a rich field, built over a logical substratum whose main constituent is a nonclassical form of negation, sometimes coexisting with classical negation. The field has seen the advent of a number of alternative semantics, with Kripke-Kleene semantics, the well founded semantics, the stable model semantics, and answer-set programming standing out as the most succe...
متن کاملCompensating the gaps caused by aging: Analyzing the main themes of physical activity in the neighborhood environment from the perspective of the older adults(A phenomenological approach)
Introduction: Physical activity and aerobic exercises have anti-anxiety and anti-depressant effects in compensating for the problems and gaps caused by psychological issues among the older adult. Epidemiological studies show that physical activity is related to better mental health and flexibility against mental distress, such as depression and anxiety symptoms. Therefore, the purpose of this r...
متن کامل